Two-Column Proofs